import sketch.ounit.fuzz.ExceptionThrowingCode;
import junit.framework.TestCase;

public class ExceptionThrowingTest extends TestCase {
	public void testExceptionThrown_guided841() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.closeFlag();
		code.doAnotherThing();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided842() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.doAnotherThing();
		code.openFlag();
		code.closeFlag();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		;
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided843() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		code.mayThrowException();
		;
		code.openFlag();
		code.mayThrowException();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided844() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.openFlag();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided845() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided846() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		;
		code.openFlag();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided847() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.doAnotherThing();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided848() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.mayThrowException();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.mayThrowException();
		code.mayThrowException();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided849() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided850() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided851() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		;
		code.openFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided852() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided853() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided854() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.doAnotherThing();
		;
		code.openFlag();
		code.mayThrowException();
		code.mayThrowException();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided855() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided856() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided857() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.closeFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided858() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided859() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		code.openFlag();
		code.mayThrowException();
		;
		code.openFlag();
		code.closeFlag();
		code.doAnotherThing();
		code.doAnotherThing();
		code.closeFlag();
		code.closeFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided860() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided861() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided862() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.closeFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided863() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided864() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided865() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		;
		code.openFlag();
		code.openFlag();
		code.mayThrowException();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided866() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		code.closeFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided867() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		code.doAnotherThing();
		code.openFlag();
		code.closeFlag();
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided868() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.openFlag();
		code.closeFlag();
		code.doAnotherThing();
		;
		code.openFlag();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided869() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided870() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.closeFlag();
		code.closeFlag();
		;
		code.openFlag();
		code.mayThrowException();
		code.openFlag();
		code.openFlag();
		code.mayThrowException();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided871() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided872() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.openFlag();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.closeFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided873() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.closeFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.mayThrowException();
		code.closeFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided874() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.closeFlag();
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided875() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided876() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided877() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided878() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.closeFlag();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided879() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.mayThrowException();
		code.closeFlag();
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided880() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided881() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided882() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.closeFlag();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		code.doAnotherThing();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided883() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided884() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		try {
			code.mayThrowException();
			fail(" exception: java.lang.RuntimeException: flag should be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}

	public void testExceptionThrown_guided885() {
		ExceptionThrowingCode code = new ExceptionThrowingCode();
		code.openFlag();
		code.closeFlag();
		code.closeFlag();
		;
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		code.openFlag();
		try {
			code.doAnotherThing();
			fail(" exception: java.lang.RuntimeException: Flag should not be setted should be thrown ");
		} catch (java.lang.RuntimeException e) {
			// ok here
		}
		;
		code.closeFlag();
	}
}
